<html>
<head><meta charset="utf-8"><title>I-prioritize #71353 Type validation mistreats layout errors · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html">I-prioritize #71353 Type validation mistreats layout errors</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="195435381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195435381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195435381">(Apr 27 2020 at 15:40)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/71353#issuecomment-620065259" title="https://github.com/rust-lang/rust/issues/71353#issuecomment-620065259">#71353</a> has been requested for prioritization.</p>



<a name="195435386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195435386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195435386">(Apr 27 2020 at 15:40)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/71353" title="https://github.com/rust-lang/rust/issues/71353">#71353</a> has been requested for prioritization.</p>



<a name="195435425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195435425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195435425">(Apr 27 2020 at 15:40)</a>:</h4>
<p>twice :D</p>



<a name="195460681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195460681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195460681">(Apr 27 2020 at 18:58)</a>:</h4>
<p>ohh <code>@rustbot prioritize</code> possibly fires twice here, one because of the command and another one because of the label being added? cc <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span></p>



<a name="195460713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195460713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195460713">(Apr 27 2020 at 18:58)</a>:</h4>
<p>Also cc <span class="user-mention" data-user-id="116122">@simulacrum</span></p>



<a name="195461406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195461406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195461406">(Apr 27 2020 at 19:04)</a>:</h4>
<p>btw, this issue seems <code>P-high</code> to me</p>



<a name="195461479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195461479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195461479">(Apr 27 2020 at 19:05)</a>:</h4>
<p>ohh right, it was <code>P-high</code> and we had the revert</p>



<a name="195461485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195461485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195461485">(Apr 27 2020 at 19:05)</a>:</h4>
<p>going to check again</p>



<a name="195461515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195461515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195461515">(Apr 27 2020 at 19:05)</a>:</h4>
<blockquote>
<p>Still need to assign a priority to the remaining issue of validation swallowing <code>TooGeneric</code> errors</p>
</blockquote>



<a name="195462124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195462124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195462124">(Apr 27 2020 at 19:10)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors/near/195461515" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors/near/195461515">said</a>:</p>
<blockquote>
<blockquote>
<p>Still need to assign a priority to the remaining issue of validation swallowing <code>TooGeneric</code> errors</p>
</blockquote>
</blockquote>
<p>yeah, after reading it and said <code>P-high</code> realized about that</p>



<a name="195462133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195462133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195462133">(Apr 27 2020 at 19:10)</a>:</h4>
<p>checking it again ...</p>



<a name="195462218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195462218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195462218">(Apr 27 2020 at 19:11)</a>:</h4>
<p>I guess this is <code>P-medium</code> now</p>



<a name="195463357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195463357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195463357">(Apr 27 2020 at 19:22)</a>:</h4>
<p>thoughts?</p>



<a name="195463653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195463653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195463653">(Apr 27 2020 at 19:24)</a>:</h4>
<p>this one is the last one we need to prioritize, of course all of the rest can be reviewed :), please comment if you disagree on something</p>



<a name="195465452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195465452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195465452">(Apr 27 2020 at 19:41)</a>:</h4>
<p><code>P-medium</code> seems fine</p>



<a name="195466365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20mistreats%20layout%20errors/near/195466365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20mistreats.20layout.20errors.html#195466365">(Apr 27 2020 at 19:49)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/71353" title="https://github.com/rust-lang/rust/issues/71353">#71353</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>